2

Normal modal model theory

Year:
1975
Language:
english
File:
PDF, 1.53 MB
english, 1975
4

Cut Elimination in Transfinite Type Theory

Year:
1973
Language:
english
File:
PDF, 953 KB
english, 1973
5

Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics

Year:
1974
Language:
english
File:
PDF, 953 KB
english, 1974
6

Books in review

Year:
1983
Language:
english
File:
PDF, 2.50 MB
english, 1983
22

A Note on Cut Elimination and Completeness in First Order Theories

Year:
1972
Language:
english
File:
PDF, 258 KB
english, 1972
25

An extension of the intuitionsitic propositional calculus

Year:
1971
Language:
english
File:
PDF, 337 KB
english, 1971
27

Interpolation in loop-free logic

Year:
1980
Language:
english
File:
PDF, 799 KB
english, 1980
30

On the use of logic: reflections on McDermott's critique of pure reason

Year:
1987
Language:
english
File:
PDF, 491 KB
english, 1987
33

Meta-level programming and knowledge representation

Year:
1985
Language:
english
File:
PDF, 1.14 MB
english, 1985